Specifying Usage Control ModelWith Object Constraint Language
نویسندگان
چکیده
منابع مشابه
Interpreting the Object Constraint Language
The Object Constraint Language (OCL), which forms part of the UML 1.1. set of modelling notations is a precise, textual language for expressing constraints that cannot be shown in the standard diagrammatic notation used in UML. A semantics for OCL lays the foundation for building CASE tools that support integrity checking of whole UML models, not just the component expressed using OCL. This pap...
متن کاملReflections on the Object Constraint Language
The Object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagrammatically in UML. This paper reflects on a number of aspects of the syntax and semantics of the OCL, and makes proposals for clarification or extension. Specifically, the paper suggests that: the concept of flattening...
متن کاملObject Constraint Language (OCL): A Definitive Guide
The Object Constraint Language (OCL) started as a complement of the UML notation with the goal to overcome the limitations of UML (and in general, any graphical notation) in terms of precisely specifying detailed aspects of a system design. Since then, OCL has become a key component of any model-driven engineering (MDE) technique as the default language for expressing all kinds of (meta)model q...
متن کاملA Policy Language for Distributed Usage Control
We present the Obligation Specification Language (OSL), a policy language for distributed usage control. OSL supports the formalization of a wide range of usage control requirements. We also present translations between OSL and two rights expression languages (RELs) from the DRM area. These translations make it possible to use DRM mechanisms to enforce OSL policies. Furthermore, the translation...
متن کاملSpecifying Constraint Problems with Z
In this paper, we present a novel use of the formal specification language Z for the construction of constraint problem models. These models can then be refined into constraint programs. Z’s expressiveness and suitability is proven by contrasting Z with three existing abstract constraint languages and by, successfully and efficiently, specifying numerous constraint and optimisation benchmark pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ICST Transactions on Scalable Information Systems
سال: 2013
ISSN: 2032-9407
DOI: 10.4108/trans.sis.2013.01-03.e5